comp {
    let! a = b in
    and! c = d in
    and! e = f in
    ()
}